Nikolaj Schumacher <n_schumacher at web.de> (tiny change)
authorGlenn Morris <rgm@gnu.org>
Wed, 23 May 2007 08:09:37 +0000 (08:09 +0000)
committerGlenn Morris <rgm@gnu.org>
Wed, 23 May 2007 08:09:37 +0000 (08:09 +0000)
commitdde2baae55e9fdb5c5ad0bfe1c472303b6dd4c6e
tree6161d62d42d4b498c852a9c87f07aa1c8ef27bf9
parentc907319a66942ff8f4ea33b02ec51d781fb3ac6d
Nikolaj Schumacher  <n_schumacher at web.de>  (tiny change)

(compilation-handle-exit): `compilation-finish-function' may change
the current buffer.
lisp/progmodes/compile.el